$\forall$${\it es}$:ES, $x$, $y$, $z$:E. $x$ c$\leq$ $y$ $\Rightarrow$ $y$ c$\leq$ $z$ $\Rightarrow$ $x$ c$\leq$ $z$